upper bound and lower bound in real analysis